1. Automata, language and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
المؤلف: edited by Wilfried Brauer
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
194
2. Automata, languages, and programming : 12th Colloquium, Nauplion, Greece, July 15-19, 1985
المؤلف: edited by Wilfried Frauer
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
194
3. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
I55
1985
4. Logic and Algebra of Specification
المؤلف: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
5. Logic and algebra of specification
المؤلف: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
6. Petri Nets : advances in Petri Nets 1986 : proceedings of an advanced course, Bad Honnef, 8-19 September 1986
المؤلف: edited by W. Brauer, W. Reisig, and G. Rozenberg
المکتبة: (طهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
254-255
